Motivation Non-classical logics – such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, fuzzy logic, paraconsistent logic, relevance logic –

Source URL: iltp.de

The 8-th Symposium of Mathematics and its Applications "Politehnica" University of Timisoara Timisoara, 1999 An Asynchronous Automata Approach to the Semantics of Temporal Logic

Source URL: www.serbanvlad.ro

Introduction to Modal and Temporal Logic c Rajeev Gore´ Automated Reasoning Group Computer Sciences Laboratory Australian National University

Source URL: ssll.rsise.anu.edu.au

Implementing Temporal Defeasible Logic for Modeling Legal Reasoning Guido Governatori2 , Antonino Rotolo1 , Rossella Rubino1 2 1 CIRSFID, University of Bologna, Italy

Source URL: www.governatori.net

Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control ? R¨ udiger Ehlers ∗ St´ ephane Lafortune ∗∗ Stavros Tripakis ∗∗∗

Source URL: excape.cis.upenn.edu

• Logic
• Temporal logic
• Philosophical logic
• Mathematical logic
• Abstraction
• Linear temporal logic
• Logic in computer science
• Supervisory control theory
• Non-classical logic
• CTL*
• Modal logic
• Quantifier

Alternating-Time Temporal Logic RAJEEV ALUR University of Pennsylvania, Philadelphia, Pennsylvania THOMAS A. HENZINGER University of California, Berkeley, California

Source URL: www.cis.upenn.edu

Introduction to Modal and Temporal Logic c Rajeev Gore´ Automated Reasoning Group Computer Sciences Laboratory Australian National University

Source URL: ssll.cecs.anu.edu.au

Curry-Howard for GUIs Or, User Interfaces via Linear Temporal, Classical Linear Logic Jennifer Paykin University of Pennsylvania <>

Source URL: www.mpi-sws.org

Proof mining in L1-approximation Ulrich Kohlenbach a,1, Paulo Oliva a,1 a Department of Computer Science, University of Aarhus, DK-8000 Aarhus C,

Source URL: www.mathematik.tu-darmstadt.de

• Mathematical analysis
• Mathematics
• Operator theory
• Computability theory
• Approximation theory
• Fourier analysis
• Modulus of continuity
• Primitive recursive function
• Linear temporal logic
• Differential forms on a Riemann surface